Haar measure(哈儿测度)是定义在局部紧群上的一种测度,具有左不变性(或右不变性):对任意可测集 \(E\) 和群元素 \(g\),有 \(\mu(gE)=\mu(E)\)。它在归一化后(如紧群上令整体测度为 1)常用于积分、概率与调和分析。也存在相应的右Haar测度;在许多情形下二者只差一个常数因子。
/hɑːr ˈmɛʒər/
A Haar measure lets us integrate functions on a group.
Haar测度使我们可以在群上对函数进行积分。
Using the Haar measure on a compact group, we can define a uniform probability distribution that is invariant under group actions.
在紧群上使用Haar测度,我们可以定义一种在群作用下保持不变的“均匀”概率分布。
“Haar”来自匈牙利数学家 Alfréd Haar(阿尔弗雷德·哈儿),他在20世纪初提出并研究了这种在群上具有平移不变性的测度概念;“measure”意为“测度/度量(用于积分的大小概念)”。因此“Haar measure”直译即“哈儿(所提出的)测度”。